Sam Staton: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Semantics for probabilistic programming

Staton, Sam, Yang, Hongseok, Wood, Frank, Heunen, Chris, Kammar, Ohad

Year:

2016

Language:

english

File:

PDF, 371 KB

english, 2016

2

Effect algebras, presheaves, non-locality and contextuality

Staton, Sam, Uijlen, Sander

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 1006 KB

english, 2018

3

Classical Control and Quantum Circuits in Enriched Category Theory

Rennela, Mathys, Staton, Sam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 310 KB

english, 2018

4

[Lecture Notes in Computer Science] Language, Logic, and Computation Volume 11456 (12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers) ||

Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla

Year:

2019

Language:

english

File:

PDF, 8.88 MB

english, 2019

5

[Lecture Notes in Computer Science] Language, Logic, and Computation Volume 11456 (12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers) || Bare Nouns and the Hungarian Mass/Count Distinction

Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla

Year:

2019

File:

PDF, 399 KB

2019

6

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Instances of Computational Effects: An Algebraic Perspective

Year:

2013

Language:

english

File:

PDF, 469 KB

english, 2013

7

Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 414 KB

english, 2009

8

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Transition systems over games

Levy, Paul Blain, Staton, Sam

Year:

2014

Language:

english

File:

PDF, 259 KB

english, 2014

9

Comparing operational models of name-passing process calculi

Marcelo Fiore, Sam Staton

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 737 KB

english, 2006

10

A congruence rule format for name-passing process calculi

Marcelo Fiore, Sam Staton

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 1015 KB

english, 2009

11

Complete Positivity and Natural Representation of Quantum Computations

Rennela, Mathys, Staton, Sam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 272 KB

english, 2015

12

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Universal properties of impure programming languages

Staton, Sam, Levy, Paul Blain

Year:

2013

Language:

english

File:

PDF, 717 KB

english, 2013

13

The Influence of Discordance in Pain Assessment on the Functional Status of Patients with Chronic Nonmalignant Pain

Panda, Mukta, Staton, Lisa J., Chen, Ian, Kurz, James, Carey, Tim, Calleson, Diane, Cykert, Sam, O’Rorke, Jane, Pasanen, Mark, Menon, Madhusudan, Genao, Inginia, Wood, Joann, Mechaber, Alex, Rosenberg

Journal:

The American Journal of the Medical Sciences

Year:

2006

Language:

english

File:

PDF, 145 KB

english, 2006

14

Normalization by Evaluation and Algebraic Effects

Ahman, Danel, Staton, Sam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 327 KB

english, 2013

15

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Algebraic Effects, Linearity, and Quantum Programming Languages

Year:

2015

Language:

english

File:

PDF, 1.28 MB

english, 2015

16

Denotational validation of higher-order Bayesian inference

Ścibior, Adam, Ghahramani, Zoubin, Kammar, Ohad, Vákár, Matthijs, Staton, Sam, Yang, Hongseok, Cai, Yufei, Ostermann, Klaus, Moss, Sean K., Heunen, Chris

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 428 KB

english, 2017

17

[Lecture Notes in Computer Science] Language, Logic, and Computation Volume 11456 (12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers) || Language as Mechanisms for Interaction: Towards an Evolutionary Tale

Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla

Year:

2019

Language:

english

File:

PDF, 442 KB

english, 2019

18

Backtracking with cut via a distributive law and left-zero monoids

PIRÓG, MACIEJ, STATON, SAM

Journal:

Journal of Functional Programming

Year:

2017

Language:

english

File:

PDF, 226 KB

english, 2017

19

Comparing Operational Models of Name-Passing Process Calculi

Marcelo Fiore, Sam Staton

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 276 KB

english, 2004

20

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - A convenient category for higher-order probability theory

Heunen, Chris, Kammar, Ohad, Staton, Sam, Yang, Hongseok

Year:

2017

Language:

english

File:

PDF, 2.10 MB

english, 2017

21

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Quantum channels as a categorical completion

Huot, Mathieu, Staton, Sam

Year:

2019

Language:

english

File:

PDF, 372 KB

english, 2019

22

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - On the Expressivity of Symmetry in Event Structures

Staton, Sam, Winskel, Glynn

Year:

2010

Language:

english

File:

PDF, 326 KB

english, 2010

23

[Lecture Notes in Computer Science] Language, Logic, and Computation Volume 11456 (12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers) || Bare Nouns and the Hungarian Mass/Count Distinction

Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla

Year:

2019

Language:

english

File:

PDF, 399 KB

english, 2019

24

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - General Structural Operational Semantics through Categorical Logic

Year:

2008

Language:

english

File:

PDF, 351 KB

english, 2008

25

Algebraic Effects, Linearity, and Quantum Programming Languages

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.28 MB

english, 2015

26

Preface

Jacobs, Bart, Silva, Alexandra, Staton, Sam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 103 KB

english, 2014

27

[Lecture Notes in Computer Science] Language, Logic, and Computation Volume 11456 (12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers) || Compounds or Phrases? Pattern Borrowing from English into Georgian

Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla

Year:

2019

Language:

english

File:

PDF, 387 KB

english, 2019

28

Complementary and Alternative Medicine Use by Primary Care Patients with Chronic Pain

Eric I. Rosenberg, Inginia Genao, Ian Chen, Alex J. Mechaber, Jo Ann Wood, Charles J. Faselis, James Kurz, Madhu Menon, Jane O’Rorke, Mukta Panda, Mark Pasanen, Lisa Staton, Diane Calleson, Sam Cykert

Journal:

Year:

2008

Language:

english

File:

PDF, 86 KB

english, 2008

29

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

File:

PDF, 104 KB

2018

30

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Substitution, jumps, and algebraic effects

Fiore, Marcelo, Staton, Sam

Year:

2014

Language:

english

File:

PDF, 1.55 MB

english, 2014

31

Freyd categories are Enriched Lawvere Theories

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 179 KB

english, 2014

32

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - A monad for full ground reference cells

Kammar, Ohad, Levy, Paul B., Moss, Sean K., Staton, Sam

Year:

2017

Language:

english

File:

PDF, 1.60 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски